﻿<?xml version="1.0"?>
<Template Originator="Community" Language="Coq" Created="10/6/2010" LastModified="10/6/2010">
  <TemplateConfiguration>
    <_Name>Coq Source File</_Name>
    <Icon>md-text-file-icon|md-coq-logo32</Icon>
    <_Description>Creates an empty Coq source file</_Description>
    <!--<_Category>Coq</_Category>-->
    <LanguageName>Coq</LanguageName>
  </TemplateConfiguration>

  <TemplateFiles>
    <File DefaultExtension=".v" DefaultName="main" AddStandardHeader="True">
    </File>
  </TemplateFiles>

  <FileOptions/>
</Template>
